- Espacios difeológicos
- En matemática, difeología (inventada primero por Souriau en los 1980, y refinada posteriormente por mucha gente) es una generalización de las variedades (indefinidamente) diferenciables en una categoría más estable. Si X es un conjunto, una difeología en X es un conjunto de funciones (llamadas placas) desde un subconjunto abierto de cierto Espacio euclideo a X tal que valga lo siguiente: ● Toda función constante es una placa. ● Para una función dada, si todo punto en el dominio tiene un entorno tal que la restricción de la función a este entorno es una placa, entonces la función misma es una placa. ● Si p es una placa, y f es una función (indefinidamente) diferenciable desde un conjunto abierto de cierto espacio euclideo en el dominio de p, entonces la composición pof es una placa. Nótese que los dominios de placas diferentes pueden ser subconjuntos de espacios euclídeos de diferentes dimensiones.
Enciclopedia Universal. 2012.
